- Symboles interdéfinissables
-
● Symboles interdéfinissables symboles dont l'un peut se définir à partir de l'autre et réciproquement. (Les quantificateurs ∃ et ∀ sont interdéfinissables.)
Encyclopédie Universelle. 2012.
Symboles interdéfinissables
Regardez d'autres dictionnaires:
interdéfinissable — ● interdéfinissable adjectif Symboles interdéfinissables, symboles dont l un peut se définir à partir de l autre et réciproquement. (Les quantificateurs ∃ et ∀ sont interdéfinissables.) ● interdéfinissable (expressions) adjectif Symboles… … Encyclopédie Universelle
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
